home *** CD-ROM | disk | FTP | other *** search
/ Meeting Pearls 1 / Meeting Pearls Vol 1 (1994).iso / installed_progs / text / faqs / ai-faq.general.part5 < prev    next >
Encoding:
Internet Message Format  |  1994-05-15  |  76.4 KB

  1. Subject: FAQ: Artificial Intelligence FTP Resources 5/6 [Monthly posting]
  2. Newsgroups: comp.ai,news.answers,comp.answers
  3. From: mkant+@cs.cmu.edu (Mark Kantrowitz)
  4. Date: Fri, 13 May 1994 14:54:36 GMT
  5.  
  6. Archive-name: ai-faq/general/part5
  7. Last-Modified: Tue Apr 12 22:06:33 1994 by Mark Kantrowitz
  8. Version: 1.18
  9.  
  10. ;;; ****************************************************************
  11. ;;; Answers to Questions about Artificial Intelligence *************
  12. ;;; ****************************************************************
  13. ;;; Written by Mark Kantrowitz
  14. ;;; ai_5.faq -- 76404 bytes
  15.  
  16. If you think of questions that are appropriate for this FAQ, or would
  17. like to improve an answer, please send email to mkant+ai-faq@cs.cmu.edu.
  18.  
  19. Please note that the FTP Resources are now split across parts 5 and 6
  20. of the AI FAQ.
  21.  
  22. Part 5 (FTP Resources):
  23.   [5-0]  General Information about FTP Resources for AI
  24.   [5-1]  FTP Repositories
  25.   [5-2a] FTP and Other Resources: Agents -- Planning
  26.   [5-2b] FTP and Other Resources: Qualitative Reasoning -- Theorem Proving
  27.  
  28. Note: Question [5-2] is split across parts 5 and 6.
  29.  
  30. Search for [#] to get to question number # quickly.
  31.  
  32. ----------------------------------------------------------------
  33. Subject: [5-0] General Information about FTP Resources for AI
  34.  
  35. Remember, when ftping compressed or compacted files (.Z, .gz, .arc, .fit,
  36. etc.) to use binary mode for retrieving the files.
  37.  
  38. Files that end with a .gz suffix were compressed with the patent-free
  39. gzip (no relation to zip). Source for gzip is available from
  40.    prep.ai.mit.edu:/pub/gnu/
  41. as the files gzip-1.2.3.shar, gzip-1.2.3.tar,or gzip-1.2.3.msdos.exe.
  42.  
  43. If you do not have ftp access, you can FTP files by E-mail. Send a
  44. message with the word "help" in the body to ftpmail@decwrl.dec.com.
  45.  
  46. In general, see the Lisp FAQ for Lisp-related software and the Prolog
  47. Resource Guide and the Prolog FAQ for Prolog-related software. If a
  48. Lisp-based or Prolog-based system is listed here, only the ftp site
  49. and directory will be listed; for a more detailed description, see the
  50. Lisp FAQ and the Prolog Resource Guide. For information on obtaining
  51. the Lisp FAQ or the Prolog Resource Guide see [1-0].
  52.  
  53. When referring to software, "alpha" indicates an internal early
  54. release, "beta" indicates an external early release, and "omega"
  55. indicates an external "finished" release. Generally an "alpha" release
  56. means the creator hasn't yet tested for bugs.
  57.  
  58. ----------------------------------------------------------------
  59. Subject: [5-1] FTP Repositories
  60.  
  61. CMU AI Repository:
  62.  
  63.    Construction of the repository is taking longer than expected. (You
  64.    don't realize how slow ftp is until you try ftping several hundred
  65.    megabytes at a time.) We're about 90% done collecting materials,
  66.    and are currently reorganizing the contents. An announcement
  67.    will be made to all relevant newsgroups and mailing lists when the
  68.    repository is ready. 
  69.  
  70.    The AI-related programming languages section of the repository is 
  71.    mostly complete, and is available by anonymous ftp as
  72.       ftp.cs.cmu.edu:/user/ai/lang/
  73.    and includes subdirectories for Common Lisp, Scheme, Prolog, and Other.
  74.    
  75.    The URL for the repository's WWW home page is
  76.       http://www.cs.cmu.edu:8001/Web/Groups/AI/html/repository.html
  77.    
  78.  
  79. Ada Repository:
  80.  
  81.    The Ada Repository on wsmr-simtel20.army.mil (mailing list
  82.    ada-sw@wsmr-simtel20.army.mil) contains a directory of AI programs in
  83.    PD2:<ADA.AI>*.*. A somewhat easier to access copy of the archives is
  84.    available as wuarchive.wustl.edu:/mirrors/ada/ai/.
  85.  
  86. UCLA Artificial Life Depository:
  87.  
  88.    ftp.cognet.ucla.edu:/pub/alife/ [128.97.8.19]
  89.  
  90.    Repository of papers, articles, tech reports, software and other items of
  91.    interest to Artificial Life researchers. It includes an archive of
  92.    past postings to the alife mailing list, alife@cognet.ucla.edu (send
  93.    mail to alife-request@cognet.ucla.edu to be added to the list).
  94.  
  95. Artificial Life Online and the Artificial Life BBS:
  96.  
  97.    Sponsored by MIT Press and the Santa Fe Institute, Artificial Life
  98.    Online and the Artificial Life BBS is intended to be a central
  99.    information collection and distribution site on the Internet for any
  100.    and all aspects of the Artificial Life endeavor.
  101.  
  102.    A special feature of the BBS is a collection of 40 or so local
  103.    newsgroups dedicated to a wide variety of topics in Artificial Life.
  104.  
  105.    Artificial Life Online is accessible by anonymous ftp from
  106.       alife.santafe.edu:/pub/ [192.12.12.99]
  107.    by World-Wide Web from
  108.       http://alife.santafe.edu/
  109.    and by Gopher from
  110.       gopher://alife.santafe.edu:70/
  111.  
  112.    To access the Alife Online BBS (ALBBS) by telnet, telnet to
  113.    alife.santafe.edu and login as "bbs". You will find yourself in a
  114.    specially constructed UNIX shell within which either BBS menu commands
  115.    or UNIX commands can be used to browse around in the system. Run the
  116.    "account" program to set up a local account. These accounts will
  117.    initially be provided free of charge, but they will eventually have to
  118.    charge a nominal fee in order to cover operating expenses (on the
  119.    order of $15-$25 per year). Subscribers to the Artificial Life Journal
  120.    from MIT Press will have this fee waived. Once you have an account on
  121.    alife.santafe.edu, you can telnet to alife.santafe.edu and login as
  122.    yourself. You do not have to create an account to use the ALBBS via
  123.    telnet -- you can simply login as "bbs" and browse through the system
  124.    using the BBS commands.
  125.  
  126.    Please send suggestions and questions about the Alife Online/BBS
  127.    system to feedback@alife.santafe.edu.
  128.  
  129. Computational Linguistics Paper Archive:
  130.  
  131.    Papers related to computation and language (computational linguistics, 
  132.    natural language processing, speech processing, and related fields) 
  133.    may be submitted to and obtained from the CMP-LG email server, which
  134.    also maintains a subscription list for automatic daily notification of
  135.    newly submitted papers. For information about the server, send mail to
  136.       cmp-lg@xxx.lanl.gov
  137.    with Subject line
  138.       help
  139.    or access the WWW URL 
  140.       http://xxx.lanl.gov/cmp-lg/
  141.    The papers are also accessible by anonymous ftp to
  142.       xxx.lanl.gov:/cmp-lg/listings/
  143.       xxx.lanl.gov:/cmp-lg/papers/
  144.    For more information, send mail to Stuart Shieber <shieber@das.harvard.edu>.
  145.  
  146. Consortium for Lexical Research:
  147.    clr.nmsu.edu:/CLR/ [128.123.1.12]
  148.  
  149.    Archive containing a variety of programs and data files related to
  150.    natural language processing research, with a particular focus on
  151.    lexical research. The file 00README.clr.site is a good place to start.
  152.    See the file catalog or catalog.ps for a listing of the contents of
  153.    the archive. Long descriptions are in the info/ subdirectory.
  154.    Materials for paid-up members of the Consortium are in the
  155.    members-only/ subdirectory. Public materials include the Alvey Natural
  156.    Language Tools, Sowa's Conceptual Graph parser implemented in YACC by
  157.    Maurice Pagnucco, a morphological parsing lexicon of English, a
  158.    phonological rule compiler for PC-KIMMO, C source code for the NIST
  159.    SGML parser, PC-KIMMO sources, the 1911 Roget Thesaurus, and a variety
  160.    of word lists (including English, Dutch, and male/female/last names).
  161.    Comments and questions may be directed to lexical@nmsu.edu.
  162.  
  163.    There are also some materials in clr.nmsu.edu:/pub/ unrelated to
  164.    the archive.   
  165.  
  166. FJ Repository:
  167.  
  168.    The FJ Repository contains freeware from Japan (FJ = "From Japan"). 
  169.    The fj.sources subdirectory is a good place to look for free
  170.    software from Japan. Some files in the repository may contain
  171.    Kana and Kanji characters. The repository is available by
  172.    anonymous ftp from 
  173.       utsun.s.u-tokyo.ac.jp:/fj/fj.sources [133.11.11.11]
  174.    The file Index contains an index of all the files in each volume.
  175.    Files of particular interest include:
  176.       v07/786:  Portable Prolog for Common Lisp
  177.       v25/2577: General-Purpose Fuzzy Inference Library Ver. 3.0 (1/1)
  178.  
  179. Fuzzy Logic Repositories:
  180.  
  181.    ntia.its.bldrdoc.gov:/pub/fuzzy/ [132.163.64.201] contains information
  182.    concerning fuzzy logic, including bibliographies (bib/), product 
  183.    descriptions and demo versions (com/), machine readable published
  184.    papers (lit/), miscellaneous information, documents and reports (txt/), 
  185.    and programs, code and compilers (prog/). You may download new items 
  186.    into the new/ subdirectory. If you deposit anything in new/, please 
  187.    inform fuzzy@its.bldrdoc.gov. The repository is maintained by 
  188.    Timothy Butler, tim@its.bldrdoc.gov. The Fuzzy Logic Repository is also 
  189.    accessible through a mail server, rnalib@its.bldrdoc.gov. For help on 
  190.    using the server, send mail to the server with the following line in 
  191.    the body of the message:
  192.      @@ help
  193.    Other commands available include index, list, find, send, and credits.
  194.  
  195.    Ostfold Regional College in Norway recently started a ftp site
  196.    for material related to fuzzy logic, ftp.dhhalden.no:/pub/Fuzzy/ 
  197.    [158.36.33.11]. Material to be included in the archive (e.g., 
  198.    papers and code) may be placed in the upload/ directory. Now holds the 
  199.    files from Togai's mail-server, and other files from Timothy Butler's 
  200.    site ntia.its.bldrdoc.gov. It also includes some demo programs. Send
  201.    email to Asgeir Osterhus, <asgeiro@dhhalden.no>.
  202.  
  203.    Togai InfraLogic, Inc. (TIL) also runs a fuzzy logic email server
  204.    which contains demo versions of some of their software, fuzzy logic
  205.    bibliographies, conference announcements, a short introduction to
  206.    fuzzy logic, copies of the company newsletter, archives of
  207.    comp.ai.fuzzy, and so on. See the entry in the answer to question
  208.    [1-7] for more information on the company. To get started with the
  209.    fuzzy logic email server, send a message with NO SUBJECT LINE to
  210.    fuzzy-server@til.com, containing just the word "help" in the message
  211.    body.  The server will reply with a set of instructions.     Please
  212.    address any comments, questions or requests to either erik@til.com or
  213.    tanaka@til.com. Most of the contents of the TIL server is mirrored at
  214.    Tim Butler's fuzzy logic ftp repository at ntia.its.bldrdoc.gov and at
  215.    Ostfold ftp repository at ftp.dhhalden.no.  For more information,
  216.    write to Togai InfraLogic, Inc., 5 Vanderbilt, Irvine, CA 92718 or
  217.    call 714-975-8522.
  218.  
  219.    The Aptronix FuzzyNet files are available through an email
  220.    server. Send email to fuzzynet@aptronix.com with "help"
  221.    in the message body to get instructions on how to retrieve files.
  222.    "catalog" or "index" will get you a listing of available files.
  223.    (You can also connect to the FuzzyNet repository by modem to Aptronix
  224.    FuzzyNet 408-428-1883 N/8/1 1200-19,200 baud.) Files on the server
  225.    include descriptions of fuzzy logic applications (e.g., washing
  226.    machines, camera focusing, air conditioning), introductory materials,
  227.    Fide related information, archives of comp.ai.fuzzy, etc.     If you'd
  228.    like to have a file included in the FuzzyNet server (e.g., moderate
  229.    length technical reports), send email to Scott Irwin
  230.    <irwin@aptronix.com>.
  231.  
  232. Genetic Algorithms:
  233.  
  234.    The Genetic Algorithms Repository is accessible by anonymous ftp as
  235.       ftp.aic.nrl.navy.mil:/pub/galist/
  236.    It includes past copies of the genetic algorithms digest in 
  237.       ftp.aic.nrl.navy.mil:/pub/galist/digests/
  238.    some information files in
  239.       ftp.aic.nrl.navy.mil:/pub/galist/info/
  240.    and some software in 
  241.       ftp.aic.nrl.navy.mil:/pub/galist/src/
  242.  
  243.    The information files includes Nici Schraudolph's survey of free and
  244.    commercial GA software (send email to <schraudo@cs.ucsd.edu> to add to
  245.    the list).
  246.  
  247.    The software includes GAC (a simple GA written in C), GAL (a simple GA
  248.    written in Common Lisp), GAucsd, GECO (a Common Lisp toolbox for
  249.    constructing genetic algorithms), GENESIS, GENOCOP, Paragenesis (a
  250.    parallel version of GENESIS that runs on the CM-200), SGA-C (a C
  251.    implementation/extension of Goldberg's SGA system).
  252.  
  253. Genetic Programming:
  254.  
  255.    The Genetic Programming Repository is located at
  256.    ftp.cc.utexas.edu:/pub/genetic-programming/ [128.83.186.13]. It
  257.    contains the archives of the genetic programming mailing list
  258.    (including the GP FAQ posting), papers and source code. The source
  259.    code includes the GP implementation from Koza's book and some related
  260.    systems. Some of the GP packages available include GPQUICK,
  261.    Gepetto, GPCplus, and SGPC.
  262.  
  263. UC/Irvine (UCI) AI/Machine Learning Repository:
  264.  
  265.    ftp.ics.uci.edu has a variety of AI-related materials, with a special
  266.    focus on machine learning. For example,
  267.       ftp.ics.uci.edu:/pub/machine-learning-databases/
  268.    contains over 80 benchmark data sets for classifier systems (30mb).
  269.  
  270.    Files may also be retrieved by email using the archive server
  271.    archive-server@ics.uci.edu. Commands to the server should be given
  272.    in the message body. Some commands are:
  273.         help
  274.         send <archive> <file>
  275.         find <archive> <string>
  276.    The help command replies with a useful help message.
  277.  
  278.    Site Librarian: Patrick M. Murphy (ml-repository@ics.uci.edu)
  279.    Off-Site Assistant: David W. Aha (aha@cs.jhu.edu)
  280.  
  281. Machine Learning:
  282.  
  283.    Various programs (e.g., ID3) and publications related to machine
  284.    learning are available by anonymous ftp from the machine
  285.    learning group (under Raymond Mooney) at UT-Austin, at
  286.       cs.utexas.edu:/pub/mooney/  
  287.    Subdirectories include 
  288.       ml-course information and homeworks from a graduate course
  289.                      in machine learning taught by Dr. Mooney. Homeworks
  290.                      include "miniatures" of various machine learning
  291.                      systems written in Common Lisp.
  292.       ml-code   Common Lisp code corresponding to the assignments
  293.                      for the course in the ml-course directory.
  294.       ml-progs  More "research-level" versions of inductive
  295.                      classification algorithms and software for automated
  296.                      experiments that generation learning curves that
  297.                      compare several systems. 
  298.       papers            Publications producted by the machine learning
  299.                      research group.
  300.  
  301. Machine Learning Algorithms Implemented in Prolog:
  302.  
  303.    In 1988 the Special Interest Group on Machine Learning of the German
  304.    Society for Computer Science (GI e.V.) decided to establish a library
  305.    of PROLOG implementations of Machine Learning algorithms. The library
  306.    includes - amongst others - PROLOG implementations of Winston's arch, 
  307.    Becker's AQ-PROLOG, Fisher's COBWEB, Brazdil's generation of 
  308.    discriminations from derivation trees, Quinlan's ID3, inverse 
  309.    resolution, and Mitchell's version spaces algorithm. The programs are 
  310.    currently available via anonymous ftp-server from the GMD:
  311.  
  312.         ftp.gmd.de:/gmd/mlt/ML-Program-Library/ [129.26.8.84]
  313.  
  314.    Send additional PROLOG implementations of Machine Learning
  315.    Algorithms, complaints about them and detected bugs or problems
  316.    to Thomas Hoppe, <hoppet@cs.tu-berlin.de>. Send suggestions and
  317.    complaints about the ftp library to Werner Emde, Gesellschaft
  318.    fuer Mathematik und Datenverarbeitung, Bonn, <emde@gmd.de>. 
  319.  
  320.    The directory ftp.gmd.de:/MachineLearning/ contains additional
  321.    machine learning publications, data, and software, primarily related
  322.    to the European ESPRIT projects Machine Learning Toolbox (MLT) and
  323.    Inductive Logic Programming (ILP), the European Network of Excellence
  324.    in Machine Learning (MLnet) and the Inductive Logic Programming
  325.    Pan-European Scientific Network (ILPnet). It includes the source code
  326.    of Stephen Muggleton's and Cao Feng's GOLEM learning system (in
  327.    /MachineLearning/ILP/public/software/golem) and a BibTex file with
  328.    around 325 entries of articles related to ILP (in
  329.    /MachineLearning/ILP/public/bib). For more information, send mail to
  330.    Marcus Luebbe <ml-archive@gmd.de>.
  331.  
  332. CMU Simulator Collection:
  333.  
  334.    The CMU Simulator Collection is available by anonymous ftp from 
  335.    ftp.cs.cmu.edu [128.2.206.173] in the directory
  336.       /afs/cs.cmu.edu/project/connect/code/
  337.    The collection includes Lisp and C implementations of Scott
  338.    Fahlman's Cascade Correlation algorithm, Scott Fahlman's
  339.    Quickprop variation on the back-propagation algorithm, and Scott
  340.    Fahlman's Recurrent Cascade-Correlation simulator. The collection also
  341.    includes Aspririn/Migraines and Tesauro. The neural network benchmark
  342.    collection is available in 
  343.       /afs/cs.cmu.edu/project/connect/bench/
  344.    The data sets include the NETtalk data, a vowel recognition
  345.    task, and several others.
  346.    The archives of the connectionists mailing list are kept in
  347.       /afs/cs.cmu.edu/project/connect/connect-archives/
  348.    along with a Lisp implementation of a backprop simulator. 
  349.  
  350. Funic Neural FTP Archive Site:
  351.  
  352.    The Finnish University maintains an archive site containing a large
  353.    collection of neural network papers and public domain software
  354.    gathered from FTP sites in the US. The files are available by
  355.    anonymous ftp from funic.funet.fi:/pub/sci/neural/ [128.214.6.100].
  356.    (Also know as ftp.funet.fi, nic.funet.fi.)  See the file 01README for
  357.    details. A list of mirrored ftp sites is in 04Neural_FTP_Sites.  For
  358.    further information, contact neural-adm@funic.funet.fi or Marko
  359.    Gronroos <magi@funic.funet.fi> (or <magi@utu.fi>).
  360.  
  361. OSU Neuroprose:
  362.    archive.cis.ohio-state.edu:/pub/neuroprose/   [128.146.8.52]
  363.  
  364.    This directory contains technical reports as a public service to the
  365.    connectionist and neural network scientific community which has an
  366.    organized mailing list (for info: connectionists-request@cs.cmu.edu)
  367.  
  368. UKaiserslautern Neural/Fuzzy Repository:
  369.  
  370.    The University of Kaiserslautern has set up a ftp server for reports
  371.    and software related to its neural networks and fuzzy logic projects,
  372.    including the MOBOT, SPIN, and ALBATROSS projects.  Programs currently
  373.    available include Joerg Bruske's neural fuzzy decision system
  374.    SPIN-NFDS and Herman Keuchel's unsupervised clustering system.  Most
  375.    of the ready-to-run programs were written for the Apple Macintosh.
  376.    Sources for the "kernel" of the programs are available by ftp, written
  377.    in Pascal.  The user-interface code is also available upon request.
  378.    Some of the documentation is in German.  The papers and software are
  379.    available from 
  380.       ag_vp_file_server.informatik.uni-kl.de:/Neural_Networks/Reports/ 
  381.       ag_vp_file_server.informatik.uni-kl.de:/Neural_Networks/Software/ 
  382.    Some papers and software are also available from 
  383.       ftp.uni-kl.de:/reports_uni-kl/computer_science/mobile_robots/
  384.    For more information, contact Uwe R. Zimmer <uzimmer@informatik.uni-kl.de>. 
  385.  
  386. NL Software Registry:
  387.  
  388.    The Natural Language Software Registry is a catalogue of software
  389.    implementing core natural language processing techniques, whether
  390.    available on a commercial or noncommercial basis. Some of the topics
  391.    listed include speech signal processing, morphological analysis,
  392.    parsers, natural language generation systems, and knowledge
  393.    representation systems. The second edition of the catalog contains
  394.    more than 100 descriptions of natural language processing software.
  395.    The catalogue is available from the German Research Institute for
  396.    Artificial Intelligence (DFKI) in Saarbruecken (Germany) by anonymous
  397.    ftp to 
  398.       ftp.dfki.uni-sb.de:/pub/registry/
  399.    email to registry@dfki.uni-sb.de, or physical mail to NL Software
  400.    Registry, Deutsches Forschungszentrum fuer Kuenstliche Intelligenz,
  401.    Stuhlsatzenhausweg 3, D-W-6600 Saarbruecken, Germany, or by telephone
  402.    to +49 (681) 303-5282.  Copies are also available from
  403.       crlftp.nmsu.edu:/pub/non-lexical/NL_Software_Registry
  404.       dri.cornell.edu:/pub/NLSR 
  405.    If you'd like to include your NLP software in the registry, return
  406.    the questionnaire which is available from the ftp sites.
  407.  
  408. Miscellaneous AI:
  409.  
  410.    Some miscellaneous AI programs may be found on ftp.uu.net:/pub/ai/
  411.    Most are mirrors of programs available at other sites.
  412.  
  413.    AI_ATTIC is an anonymous ftp collection of classic AI programs and
  414.    other information maintained by the University of Texas at Austin.  It
  415.    includes Parry, Adventure, Shrdlu, Doctor, Eliza, Animals, Trek, Zork,
  416.    Babbler, Jive, and some AI-related programming languages.     This
  417.    archive is available by anonymous ftp from ftp.cc.utexas.edu
  418.    (bongo.cc.utexas.edu, 128.83.186.13) in the directory /pub/AI_ATTIC.
  419.    For more information, contact atticmaster@bongo.cc.utexas.edu.
  420.  
  421.    The QWERTZ toolbox, a library of Standard ML modules with an emphasis
  422.    on symbolic Artificial Intelligence programming, (including
  423.    implementations of heuristic search and an ATMS reason maintenance
  424.    system) may be obtained by anonymous ftp from
  425.       ftp.gmd.de:gmd/ai-research/Software/qwertz.tar.gz
  426.    For more information, write to Tom Gordon <thomas.gordon@gmd.de>.
  427.  
  428. ----------------------------------------------------------------
  429. Subject: [5-2a] FTP and Other Resources: Agents -- Planning
  430.  
  431. In addition to programs available free by anonymous ftp, we've
  432. included some programs which are available by contacting the authors,
  433. and some programs which charge a nominal fee.
  434.  
  435. Agent Modelling:
  436.  
  437.    ANIMALS is a simulation system written by Toby Tyrrell,
  438.    <toby@castle.ed.ac.uk>, for his PhD thesis.  The thesis examines the
  439.    problem of action selection when dealing with realistic, animal-like
  440.    situations: how to choose, at each moment in time, the most
  441.    appropriate out of a repertoire of possible actions.  It includes a
  442.    description is given of a simulated environment which is an extensive
  443.    and detailed simulation of the problem of action selection for
  444.    animals.  This simulated environment is used to investigate the
  445.    adequacy of several theories of action selection (from both ethology
  446.    and artificial intelligence) such as the drive model, Lorenz's
  447.    psycho-hydraulic model and Maes' spreading activation network, and
  448.    outlines deficiencies in each mechanism. Finally, it proposes a new
  449.    approach to action selection is developed which determines the most
  450.    appropriate action in a principled way, and which does not suffer from
  451.    the inherent shortcomings found in other methods. The thesis includes
  452.    a review and bibliography of existing work on action selection. The
  453.    thesis is available by anonymous ftp from 
  454.       ftp.ed.ac.uk:/pub/lrtt/ [129.215.146.5]
  455.    as the files as.1.ps.Z, as.2.ps.Z, ..., and as.7.ps.Z.
  456.    The simulation software is also available from the same site, as the
  457.    file se.tar.Z. The simulation software was written in Suntools rather
  458.    than Xtools.  It can be run only from SunView or OpenWindows.  The
  459.    action selection problem modelled by the simulated environment
  460.    comprises 15 different `sub-problems' (getting food, reproducing, not
  461.    getting lost, being vigilant for predators, etc), many internal and
  462.    external stimuli, and 35 different low-level actions to select
  463.    between.
  464.  
  465.    ViewGen (Viewpoint Generator) is a Prolog program that implements a
  466.    "Belief Ascription Algorithm" as described in Ballim and Wilks (see the
  467.    bibliography section on User Modelling).  This can be seen as a form of
  468.    agent modelling tool, which allows for the generation of arbitrarily deep
  469.    nested belief spaces based on the system's own beliefs, and on beliefs 
  470.    that are typically held by groups of agents.  ViewGen is available by
  471.    anonymous ftp from 
  472.       crl.nmsu.edu:/pub/non-lexical/ViewFinder [128.123.1.18] (user anonymous)
  473.       ftp.ims.uni-stuttgart.de:/pub/ballim    [141.58.127.8] (user ftp)
  474.    as the file ViewGen.tar.Z. The theory of belief ascription upon which
  475.    it is based is described in detail in Ballim and Wilks, and a general
  476.    framework for attributing and maintaining nested propositional
  477.    attitudes is described in Afzal Ballim's dissertation which is
  478.    archived with the Viewgen program (in the files 
  479.       ViewFinder-{A4/A5/US}.tar.Z, 
  480.    the variable part indicating the format of the PostScript file).
  481.    The inheritance reasoner is in the file vf-hetis.tar.Z.
  482.    Implemented in Sicstus prolog, and hence easily convertible to
  483.    any Edinburgh-style prolog. Contact Afzal Ballim <afzal@divsun.unige.ch>
  484.    for more information. 
  485.  
  486. Analogical Reasoning:
  487.  
  488.    SME      -- multivac.ils.nwu.edu:/pub/SME
  489.                Contact: Brian Falkenhainer <falkenhainer@parc.xerox.com>
  490.                         Ken Forbus <forbus@ils.nwu.edu>
  491.                the Structure-Mapping Engine, as described in Falkenhainer,
  492.                Forbus, and Gentner's 1987 AIJ article.  
  493.  
  494. Artificial Life:
  495.  
  496.    Tierra is an artificial life system for studying the evolution of
  497.    digital organisms. Tierra consists of a virtual computer and its
  498.    operating system, whose architecture has been designed in such a way
  499.    that the executable machine codes are evolvable.  This means that the
  500.    machine code can be mutated (by flipping bits at random) or recombined
  501.    (by swapping segments of code between algorithms), and the resulting
  502.    code remains functional enough of the time for natural (or presumably
  503.    artificial) selection to be able to improve the code over time.
  504.    Tierra runs in Unix and MS-DOS. Source code and documentation is
  505.    available by anonymous ftp at 
  506.       tierra.slhs.udel.edu:/almond/ [128.175.41.34]
  507.       tierra.slhs.udel.edu:/beagle/
  508.       tierra.slhs.udel.edu:/doc/
  509.       tierra.slhs.udel.edu:/tierra/
  510.    or equivalently from 
  511.       life.slhs.udel.edu:/almond/   [128.175.41.33]
  512.       life.slhs.udel.edu:/beagle/
  513.       life.slhs.udel.edu:/doc/
  514.       life.slhs.udel.edu:/tierra/
  515.    To be added to either the 
  516.       tierra-announce (official announcements only) or 
  517.       tierra-digest (moderated discussion plus announcements)
  518.    mailing lists, send mail to tierra-request@life.slhs.udel.edu.
  519.    Send bug reports to tierra-bug@life.slhs.udel.edu. Written by Tom Ray,
  520.    <ray@life.slhs.udel.edu>.  [Tom's Current email is ray@hip.atr.co.jp;
  521.    mail to ray@udel.edu will be forwarded.] For those without access to
  522.    anonymous ftp, the Tierra software may be obtained on disk (DOS
  523.    executables) from Virtual Life, 25631 Jorgensen Rd., Newman, CA 95360.
  524.    Virtual Life will also be offering a PC version of Karl Sims'
  525.    evolutionary art system, called Darwinin Art.
  526.  
  527. Blackboard Architectures:
  528.  
  529.    GBB (PD Version) -- dime.cs.umass.edu:/gbb/
  530.  
  531.    GEST   -- Contact: Susan Coryell <scoryell@gtri01.gatech.edu>
  532.              Blackboard system. Runs on Symbolics and SUN.
  533.              Georgia Tech's Generic Expert System Tool (GEST)
  534.              Available to academic institutions for classroom use.
  535.  
  536.              The symbolics version of GEST is available free from
  537.              ftp.gatech.edu:/pub/ai/gest.tar.Z
  538.              Contact: John F. Gilmore jg10@prism.gatech.edu 
  539.  
  540. Case-based Reasoning:
  541.  
  542.    CL-Protos   -- cs.utexas.edu:/pub/porter/
  543.                   Contact: Bruce W. Porter <porter@cs.utexas.edu>
  544.                            Ray Bareiss <bareiss@ils.nwu.edu>
  545.                            Erik Eilerts <eilerts@cs.utexas.edu>
  546.                            Dan Dvorak 
  547.  
  548.    MICRO-xxx  -- cs.umd.edu:/pub/schank/icbr/
  549.                  Contact: waander@cs.umd.edu
  550.                  The directory /pub/schank/icbr/ contains the complete
  551.                  code for "Inside Case-Based Reasoning" by
  552.                  Riesbeck and Schank, 1989. This includes code
  553.                  for an instructional version of CHEF by Kristian Hammond.
  554.  
  555. Chess:
  556.  
  557.    The SAN Kit chess programming C source toolkit provides common routines
  558.    for move notation I/O, move generation, move execution, etc. Only search
  559.    routines and an evaluation function need be added to obtain a working
  560.    chess program. It runs on Apple Macintosh (Think C 5.0),
  561.    Commodore Amiga (SAS C), MS-DOS, and Unix. It is available by
  562.    anonymous ftp from
  563.       raven.alaska.edu:pub/coherent/sources32/ [137.229.10.39] in the
  564.    as the compressed tar file SAN.tar.Z.
  565.    Contact Steven J. Edwards <sje@world.std.com> for more information.
  566.  
  567.    valkyries.andrew.cmu.edu:/pub/misc/chess/ [128.2.232.4]
  568.    This site has the SCP package, a restructured ANSI C port of
  569.    the 1987 Stanback Chess Program.
  570.  
  571.    PGN (Portable Game Notation) is a specification for a standard move
  572.    notation system that has been adopted by many programs and toolkits. 
  573.    It is available by anonymous ftp as
  574.       chess.uoknor.edu:/pub/chess/PGN/Standard
  575.  
  576.    Many chess-related materials are available from chess.uoknor.edu:/pub/chess/
  577.  
  578. Complex Systems:
  579.  
  580.    A list of resources for Complex Adaptive Systems is maintained by
  581.    Alex Mallet, including information about chaos theory, genetic
  582.    programming, artificial life, and neural networks. To get a copy by
  583.    email, send a message to 
  584.       thesisnet-request@eniac.seas.upenn.edu
  585.    with 
  586.       cplxsys
  587.    in the subject line. A hypertext version is available by WWW from
  588.       http://www.seas.upenn.edu/~ale/cplxsys.html
  589.    Send corrections to Alex Mallet <ale@eniac.seas.upenn.edu>.
  590.   
  591. Constraint Programming and Non-determinism:
  592.  
  593.    SCREAMER:
  594.  
  595.    Screamer is an extension of Common Lisp that adds support for
  596.    nondeterministic programming.  Screamer consists of two levels.  The
  597.    basic nondeterministic level adds support for backtracking and
  598.    undoable side effects.  On top of this nondeterministic substrate,
  599.    Screamer provides a comprehensive constraint programming language in
  600.    which one can formulate and solve mixed systems of numeric and
  601.    symbolic constraints.  Together, these two levels augment Common Lisp
  602.    with practically all of the functionality of both Prolog and
  603.    constraint logic programming languages such as CHiP and CLP(R).
  604.    Furthermore, Screamer is fully integrated with Common Lisp. Screamer
  605.    programs can coexist and interoperate with other extensions to Common
  606.    Lisp such as CLOS, CLIM and Iterate.
  607.  
  608.    In several ways Screamer is more efficient than other implementations
  609.    of backtracking languages.  First, Screamer code is transformed into
  610.    Common Lisp which can be compiled by the underlying Common Lisp
  611.    system.  Many competing implementations of nondeterministic Lisp are
  612.    interpreters and thus are far less efficient than Screamer.  Second,
  613.    the backtracking primitives require fairly low overhead in Screamer.
  614.    Finally, this overhead to support backtracking is only paid for those
  615.    portions of the program which use the backtracking primitives.
  616.    Deterministic portions of user programs pass through the Screamer to
  617.    Common Lisp transformation unchanged.  Since in practise, only small
  618.    portions of typical programs utilize the backtracking primitives,
  619.    Screamer can produce more efficient code than compilers for languages
  620.    in which backtracking is more pervasive.
  621.  
  622.    Screamer is fairly portable across most Common Lisp implementations.
  623.    It currently runs under Genera 8.1.1 and 8.3 on both Symbolics 36xx
  624.    and Ivory machines, under Lucid 4.0.2 and 4.1 on Sun SPARC machines,
  625.    under MCL 2.0 and 2.0p2 on Apple Macintosh machines, and under Poplog
  626.    Common Lisp on Sun SPARC machines.  It should run under any
  627.    implementation of Common Lisp which is compliant with CLtL2 and with
  628.    minor revision could be made to run under implementations compliant
  629.    with CLtL1 or dpANS.
  630.  
  631.    Screamer is available by anonymous FTP from 
  632.       ftp.ai.mit.edu:/pub/screamer.tar.Z
  633.    Contact Jeffrey Mark Siskind <qobi@ai.mit.edu> for further information.
  634.  
  635. Defeasible Reasoning:
  636.  
  637.    An implementation of J. Paris and A. Vencovska's model of belief is
  638.    available by anonymous ftp from
  639.       ftp.cs.cmu.edu:/user/ai/areas/reasonng/defeasbl/belief/
  640.    Paris and Vencovska's paper (Artificial Intelligence, 64(2), December
  641.    1993) provides a mathematical model of an agent's belief in an event
  642.    by identifying it with his ability to imagine the event within the
  643.    context of his previous experience.  This approach leads to beliefs
  644.    having properties different from those normally ascribed to it. The
  645.    implementation was written by Ian Pratt <ipratt@cs.man.ac.uk> and Jens
  646.    Doerpmund <dorpmunj@cs.man.ac.uk> and runs in Common Lisp.
  647.  
  648. Eliza and Similar Programs:
  649.  
  650.    The software from Peter Norvig's book "Paradigms of AI Programming" is
  651.    available by anonymous ftp from unix.sri.com:/pub/norvig/ and on disk in
  652.    Macintosh or DOS format from the publisher, Morgan Kaufmann. The
  653.    software includes Common Lisp implementations of: Eliza and pattern
  654.    matchers, Emycin, Othello, Parsers, Scheme interpreters and compilers,
  655.    Unification and a prolog interpreter and compiler, Waltz
  656.    line-labelling, implementation of GPS, macsyma, and random number
  657.    generators.  For more information, write to Morgan Kaufmann, Dept. P1,
  658.    2929 Campus Drive, Suite 260, San Mateo CA 94403, call 800-745-7323,
  659.    or fax 415-578-0672. (Mac ISBN 1-55860-227-5; DOS 3.5" ISBN
  660.    1-55860-228-3; or DOS 5.25" ISBN 1-55860-229-1).
  661.  
  662.    The doctor.el is an implementation of Eliza for GNU-Emacs
  663.    emacs-lisp. Invoke it with "Meta-X doctor".
  664.  
  665.    Source code for ELIZA in Prolog (implemented by Viren
  666.    Patel) is available by ftp from aisun1.ai.uga.edu.
  667.  
  668.    muLISP-87 (a MSDOS Lisp sold by Soft Warehouse) includes
  669.    a Lisp implementation of Eliza.
  670.  
  671.    Compute!'s Gazette, June 1984, includes source for a BASIC
  672.    implementation of Eliza. You can also find it in 101 more computer
  673.    games, edited by David Ahl, published by Creative Computing (alas,
  674.    they're defunct, and the book is out of print).
  675.  
  676.    Herbert Schildt "Artificial Intelligence using C", McGraw-Hill, 1987,
  677.    ISBN 0-07-881255-0, pp315-338, includes a simple version of DOCTOR.
  678.  
  679.    ucsd.edu:/pub/pc-ai contains implementations of Eliza for the IBM PC.
  680.  
  681.    The original Parry (in MLISP for a PDP-10) is available in
  682.    labrea.stanford.edu:/pub/parry.tar.Z.
  683.  
  684.    RACTER is *not* public domain.  It costs $50 for MS-DOS and Macintosh
  685.    versions, the Inrac compiler is $200 (MS-DOS only), and the Inrac
  686.    manual alone is $25. Racter is available from John Owens, INRAC
  687.    Corp./Nickers International Ltd., 12 Schubert Street, Staten Island,
  688.    NY 10305, Tel: 718-448-6283, or Fax: 718-448-6298.  Racter was
  689.    published in 1984, and written in compiled BASIC. To read some of
  690.    RACTER's work, see "The Policeman's Beard is Half Constructed",
  691.    Computer Prose and Poetry by Racter, Warner Books, 1984.  ISBN
  692.    0-446-38051-2 (paperback). Written by William Chamberlain and Thomas
  693.    Etter. Some discussion of RACTER appears in A.K. Dewdney's book, "The
  694.    Armchair Universe". The Macintosh version runs only on SEs and Pluses
  695.    (it comes on a single-sided 400k copy-protected disk, with an old
  696.    version of the system). Racter is also sold by the following
  697.    mail-order software retailer: Mindware, 1803 Mission Street, Suite
  698.    414, Santa Cruz, CA 95060-5292, phone 800-447-0477 (408-427-9455),
  699.    fax 408-429-5302.  Mindware sells a variety of similar programs for
  700.    MS-DOS and Windows, including Joseph Weintraub's PC Therapist.
  701.  
  702. Expert Systems:
  703.  
  704.    Free ftpable expert system shells are listed in the Expert Systems
  705.    Shells FAQ, which is available by anonymous ftp from
  706.       ftp.cs.cmu.edu:/user/ai/pubs/faqs/ai/expert_1.faq
  707.  
  708. Frame Systems:
  709.  
  710.      FrameWork   -- ftp.cs.cmu.edu:/user/ai/areas/kr/frames/framework/
  711.  
  712.      Theo        -- Contact: Tom.Mitchell@cs.cmu.edu
  713.  
  714.      FrameKit    -- Contact: Eric.Nyberg@cs.cmu.edu
  715.  
  716.      KR          -- Contact: Brad.Myers@cs.cmu.edu
  717.  
  718.      PARKA       -- Contact: spector@cs.umd.edu
  719.                     Frames for the CM
  720.  
  721.      PARMENIDES (Frulekit) -- Contact: Peter.Shell@cs.cmu.edu 
  722.  
  723.      FROBS       -- cs.utah.edu:/pub/frobs.tar.Z
  724.                     Contact: Robert Kessler <kessler@cs.utah.edu>
  725.  
  726.      PFC         -- linc.cis.upenn.edu: ??
  727.  
  728.      YAK         -- Contact: Enrico Franconi <franconi@irst.it>
  729.  
  730. Fuzzy Logic:
  731.  
  732.    FLIE    -- ural.ethz.ch:/robo/flie/   [129.132.104.194]
  733.               Contact: vestli@ifr.ethz.ch
  734.               Fuzzy Logic Inference Engine, Institute of Robotics, ETH.
  735.  
  736.    RICE (Routines for Implementing C Expert systems) is a fuzzy/MV logic
  737.    inference engine written in C. A C++ front-end with classes is provided.
  738.    Tested with Borland C/C++ 3.1, Microsoft C/C++ 7.00 and GCC 2.4.5;
  739.    examples are included. Documentation is available in WP 5.1 format and 
  740.    PostScript. Available by anonymous ftp from ntia.its.bldrdoc.gov and 
  741.    ftp.cs.cmu.edu. For more info contact Rene' Jager, <R.Jager@ET.TUDelft.NL>.
  742.  
  743. Game Playing:
  744.  
  745.    METAGAME is a game-playing workbench for developing and playing
  746.    metagame programs. It includes a generator for symmetric chess-like
  747.    games; definitions of chess, checkers, chinese chess, shogi, lose
  748.    chess, lose checkers, french checkers, and tic tac toe translated into
  749.    symmetric chess-like games; a legal move generator; and a variety of
  750.    player programs, from simple through sophisticated.  The METAGAME
  751.    Workbench runs in Quintus or Sictus Prolog.  Available by anonymous
  752.    ftp from 
  753.       ftp.cl.cam.ac.uk:/users/bdp/metagame3a.tar.Z [128.232.0.56]
  754.    For more information, contact Barney Pell <bdp@cl.cam.ac.uk> of the
  755.    University of Cambridge Computer Laboratory.
  756.  
  757. Genetic Algorithms:
  758.  
  759.    SCS (Simple Classifier System) is a C port of the system from
  760.    Appendix D of "Genetic Algorithms in Search, Optimization, and Machine
  761.    Learning" by David E. Goldberg. It was ported to C by Erik Mayer
  762.    <emayer@uoft02.utoledo.edu>. For more information, contact the author.
  763.  
  764.    SCS-C is another port to C of Goldberg's Simple Classifier System.
  765.    It includes some extensions, and runs on Sun 10/30 and Atari ST. SCS-C
  766.    is available via anonymous ftp as scs-c-0.98j.tar.Z from
  767.    lumpi.informatik.uni-dortmund.de:/pub/LCS/src/ [129.217.36.140].  The
  768.    documentation alone is available as scs-c-doc.tar.Z in the directory
  769.    /pub/LCS/docs/.  For more information, contact Joerg Heitkoetter
  770.    <joke@ls11.informatik.uni-dortmund.de>, c/o Systems Analysis Group,
  771.    LSXI, Department of Computer Science, University of Dortmund, D-44221
  772.    Dortmund, Germany.
  773.  
  774.    GENITOR is available by anonymous ftp from the Colorado State
  775.    University Computer Science Department in 
  776.       beethoven.cs.colostate.edu:/pub/GENITOR.tar [129.82.102.183]
  777.    For further information, contact starkwea@cs.colostate.edu or
  778.    mathiask@cs.colostate.edu. If these fail to work, contact
  779.    whitley@cs.colostate.edu.
  780.  
  781.    Other packages are described in detail in Nici Schraudolph's survey
  782.    of free and commercial GA software (see the Genetic Algorithms
  783.    Repository in [5-1]). Some of the free ones from Nici's list are
  784.    summarized below. Many are available from the GA Repository.
  785.  
  786.      GAucsd      Genetic algorithms software 
  787.                  cs.ucsd.edu:/pub/GAucsd/GAucsd14.ps.Z [132.239.51.3]
  788.                  Nici Schraudolph <nici@cs.ucsd.edu>
  789.                  To be put on a mailing list of GAucsd users, send
  790.                  the message "add GAucsd" to listserv@cs.ucsd.edu.
  791.  
  792.      GAbench     Genetic algorithms benchmarks and test problems  
  793.                  cs.ucsd.edu:/pub/GAbench/
  794.                  Thomas Kammeyer (tkammeye@cs.ucsd.edu)
  795.  
  796.      EM          Evolution Machine (EM)
  797.                  ftp-bionik.fb10.tu-berlin.de:/pub/software/Evolution-Machine/
  798.                      [130.149.192.50]
  799.                      em_tc.exe (EM for Turbo C)
  800.                      em_tcp.exe (EM for Turbo C++)
  801.                      em_man.exe (the manual)
  802.                  Joachim Born <born@max.fb10.tu-berlin.de>
  803.  
  804.      Genie       GA-based modeling/forecasting system
  805.                  Lance Chambers <P_Stampoul@fennel.cc.uwa.oz.au>
  806.  
  807.      GENOCOP     GEnetic algorithm for Numerical Optimization for
  808.                  COnstrained Problems. Optimizes function with any
  809.                  number of linear constraints (equalities and inequalities)
  810.      Genetic-2   Optimization package for the linear transportation problem.
  811.      Genetic-2N  Optimization package for the nonlinear transportation problem.
  812.                  All three were developed by Zbigniew Michalewicz and are
  813.                  described in detail in his book "Genetic Algorithms + Data
  814.                  Structures = Evolution Programs", Springer Verlag,
  815.                  August 1992.
  816.                     unccsun.uncc.edu:/coe/evol/ [152.15.10.88]
  817.                     (also known as ftp.uncc.edu)
  818.                  Zbigniew Michalewicz <zbyszek@unccvax.uncc.edu>
  819.  
  820.      WOLF        Simulator for G/SPLINES algorithm (genetic spline models)
  821.                  David Rogers <drogers@riacs.edu>
  822.  
  823.      GAC, GAL    GA written in C/Lisp. Similar to John Grefenstette's Genesis.
  824.                  Bill Spears <spears@aic.nrl.navy.mil>
  825.  
  826.      ESCaPaDE    Experiments with evolutionary algorithsm.
  827.                  Frank Hoffmeister <iwan@ls11.informatik.uni-dortmund.de>
  828.                  (Send mail with subject line "help" or "get ESCaPaDE")
  829.  
  830.      mGA1.0      Common Lisp implementation of a messy GA as described in
  831.                  TCGA report 90004.
  832.      SGA-C       C-language port and extension of the original Pascal
  833.                  SGA code presented in Goldberg's book "Genetic
  834.                  Algorithms in Search, Optimization & Machine
  835.                  Learning", Addison Wesley, 1989. See TCGA report 91002.
  836.      SGA-Cube    Goldberg's SGA code modified for nCUBE 2 hypercube
  837.                  parallel computer.
  838.                  All three are available by e-mail from 
  839.                  Robert Elliott Smith <rob@comec4.mh.ua.edu>.
  840.  
  841.      BUGS        Demonstrates genetic algorithms.
  842.                     santafe.edu:/pub/misc/BUGS/
  843.                  Joshua Smith <jrs@santafe.edu>
  844.  
  845.      SGPC        Simple Genetic Programming in C
  846.                     sfi.santafe.edu:/pub/Users/tackett/
  847.                  Walter Alden Tackett and Aviram Carmi (gpc@ipld01.hac.com)
  848.  
  849.      GENEsYs     lumpi.informatik.uni-dortmund.de:/pub/GA/src/ [129.217.36.140]
  850.                  Use "ftp" as user name, e-mail address as password.
  851.                  Thomas Baeck <baeck@ls11.informatik.uni-dortmund.de>
  852.  
  853.      GAGA        Jon Crowcroft <jon@cs.ucl.ac.uk>. cs.ucl.ac.uk:darpa/gaga.shar
  854.      Splicer     Steve Bayer <bayer@galileo.jsc.nasa.gov>
  855.      PARAGENESIS GA-Repository/e-mail Michael van Lent <vanlent@cs.utk.edu>
  856.      GENESIS     GA-Repository/e-mail John Grefenstette <gref@aic.nrl.navy.mil>
  857.      OOGA        GA-Repository/e-mail John Grefenstette <gref@aic.nrl.navy.mil>
  858.      DGENESIS    Erick Cantu <ecantu@babbage.rhon.itam.mx> or 
  859.                              <ecantu@itamvms1.bitnet>.
  860.  
  861.      PGA         Parallel Genetic Algorithms testbed
  862.                  ftp.dai.ed.ac.uk:/pub/pga-2.4/pga-2.4.tar.Z (192.41.104.152)
  863.                  Peter Ross, peter@aisb.ed.ac.uk
  864.  
  865.    GPQUICK is a simple GP system implemented in C++.  It features an
  866.    elegant object architecture with function (Function), program
  867.    (Chrome), GA (Pop) and problem (Problem) classes.  The Problem class
  868.    is proposed as a portable representation for problems that would be
  869.    source compatible with a variety of other GP systems.  GPQUICK uses a
  870.    steady state GA, tournament selection, one type of mutation, and
  871.    subtree crossover.  It uses a fast, compact linear representation for
  872.    S-expressions. It includes documentation from the associated magazine
  873.    article (Byte, "Some Assembly Required", February 1994). GPQUICK is
  874.    available by anonymous ftp from
  875.       ftp.cc.utexas.edu:/pub/genetic-programming/code/
  876.    as the files gpquick.tar (unix version, tested with CC and g++) and
  877.    gpquick.zip (PC/ANSI C version, tested with Borland 3.1).
  878.    For more information, write to Andrew Singleton <p00396@psilink.com>.
  879.  
  880. ICOT:
  881.  
  882.    Japan's Institute for New Generation Computer Technology (ICOT) has
  883.    made their software available to the public free of charge.  The
  884.    collection includes a variety of prolog-based programs in symbol
  885.    processing, knowledge representation, reasoning and problem solving,
  886.    natural language processing. All programs are available by anonymous
  887.    ftp from ftp.icot.or.jp.  Note that most of the programs are written
  888.    for the PSI machines, and very few have been ported to Unix-based
  889.    emulators.  For further information, send email to ifs@icot.or.jp, or
  890.    write to ICOT Free Software Desk, Institute for New Generation
  891.    Computer Technology, 21st Floor, Mita Kokusai Bldg., 4-28, Mita
  892.    1-chome, Minato-ku, Tokyo 108, Japan, fax +81-3-4456-1618.
  893.  
  894. Knowledge Representation:
  895.  
  896.    KNOWBEL -- ai.toronto.edu:/pub/kr/ as the files knowbel.tar.Z and
  897.               manual.txt.tar.Z 
  898.               Contact: Bryan M. Kramer, <kramer@ai.toronto.edu>
  899.               Telos temporal/sorted logic system.
  900.  
  901.    SB-ONE  -- Contact: kobsa@inf-wiss.uni-konstanz.de
  902.               KL-ONE family. Currently undergoing revision and will be
  903.               renamed KN-PART+.
  904.    KRIS    -- Contact: baader@dfki.uni-kl.de
  905.               KL-ONE family (Symbolics only)
  906.    BACK    -- Contact: back@cs.tu-berlin.de
  907.               ftp.cs.tu-berlin.de:/pub/doc/reports/tu-berlin.de/kit/Back52
  908.                  Files are BACK_V52.intro and Back52.tar.Z
  909.                  Tar file includes Tutorial/Manual in postscript format
  910.                  and installation instructions.
  911.               KL-ONE family
  912.    CLASSIC -- Contact: dlm@research.att.com
  913.               KL-ONE family
  914.    MOTEL   -- Contact: hustadt@mpi-sb.mpg.de
  915.               mpi-sb.mpg.de:/pub/tools/motel.tar.Z [139.19.1.1]
  916.               Modal KL-ONE (contains KRIS as a kernel). 
  917.               Implemented in Prolog.
  918.  
  919.    FOL GETFOL -- Contact: fausto@irst.it
  920.               Weyrauch's FOL system
  921.  
  922.    COLAB/RELFUN  -- Contact: boley@informatik.uni-kl.de
  923.                     Logic Programming
  924.    COLAB/FORWARD -- Contact: hinkelma@dfki.uni-kl.de
  925.                     Logic Programming
  926.    COLAB/CONTAX  -- Contact: meyer@dfki.uni-kl.de
  927.                     Constraint System for Weighted Constraints over
  928.                     Hierarchically Structured Finite Domains.
  929.    COLAB/TAXON   -- Contact: hanschke@dfki.uni-kl.de
  930.                     Terminological Knowl. Rep. w/Concrete Domains
  931.  
  932.    SNePS (Semantic Network Processing System) is the implementation of a
  933.    fully intensional theory of propositional knowledge representation and
  934.    reasoning. SNePS includes a module for creating and accessing
  935.    propositional semantic networks, path-based inference, node-based
  936.    inference based on SWM (a relevance logic with quantification) that
  937.    uses natural deduction and can deal with recursive rules, forward,
  938.    backward and bi-directional inference, nonstandard logical connectives
  939.    and quantifiers, an assumption based TMS for belief revision (SNeBR), a
  940.    morphological analyzer and a generalized ATN (GATN) parser for parsing
  941.    and generating natural language, SNePSLOG, a predicate-logic-style
  942.    interface to SNePS, XGinseng, an X-based graphics interface for
  943.    displaying, creating and editing SNePS networks, SNACTor, a
  944.    preliminary version of the SNePS Acting component, and SNIP 2.2, a new
  945.    implementation of the SNePS Inference Package that uses rule shadowing
  946.    and knowledge migration to speed up inference.  SNeRE (the SNePS
  947.    Rational Engine), which is part of Deepak Kumar's dissertation about
  948.    the integration of inference and acting, will replace the current
  949.    implementation of SNACTor.  SNePS is written in Common Lisp, and has
  950.    been tested in Allegro CL 4.1, Lucid CL 4.0, TI Common Lisp, CLISP
  951.    May-93, and CMU CL 17b. It should also run in Symbolics CL, AKCL 1.600
  952.    and higher, VAX Common Lisp, and MCL. The XGinseng interface is built
  953.    on top of Garnet.  SNePS 2.1 is free according to the GNU General
  954.    Public License version 2. The SNePS distribution is available by
  955.    anonymous ftp from 
  956.       ftp.cs.buffalo.edu:/pub/sneps/  [128.205.32.9] 
  957.    as the file rel-x-yyy.tar.Z, where 'x-yyy' is the version. The other
  958.    files in the directory are included in the distribution; they are
  959.    duplicated to let you get them without unpacking the full distribution
  960.    if you just want the bibliography or manual. If you use SNePS, please
  961.    send a short message to shapiro@cs.buffalo.edu and
  962.    snwiz@cs.buffalo.edu. Please also let them know whether you'd like to
  963.    be added to the SNUG (SNePS Users Group) mailing list. 
  964.  
  965.    URANUS is a logic-based knowledge representation language. Uranus is
  966.    an extension of Prolog written in Common Lisp and using the syntax of
  967.    Lisp. Uranus extends Prolog with a multiple world mechanism for
  968.    knowledge representation and term descriptions to provide
  969.    functional programming within the framework of logic programming.
  970.    It is available free by anonymous ftp from 
  971.       etlport.etl.go.jp:/pub/uranus/ftp/ [192.31.197.99]
  972.    for research purposes only.  For more information contact the author, 
  973.    Hideyuki Nakashima <nakashim@etl.go.jp>.
  974.  
  975. Machine Learning:
  976.  
  977.    COBWEB/3 -- Contact: cobweb@ptolemy.arc.nasa.gov
  978.  
  979.    IND      -- Contact: NASA COSMIC, <service@cossack.cosmic.uga.edu>
  980.                Tel: 706-542-3265 (ask for customer support)
  981.                Fax: 706-542-4807
  982.                IND is a C program for the creation and manipulation of
  983.                decision trees from data, integrating the CART,
  984.                ID3/C4.5, Buntine's smoothing and option trees, Wallace
  985.                and Patrick's MML method, and Oliver and Wallace's MML
  986.                decision graphs which extend the tree representation to
  987.                graphs. Written by Wray Buntine, <wray@kronos.arc.nasa.gov>.
  988.  
  989.    AUTOCLASS -- Contact: taylor@ptolemy.arc.nasa.gov
  990.                AutoClass is an unsupervised Bayesian classification system for
  991.                independent data. 
  992.  
  993.    FOIL     -- ftp.cs.su.oz.au:/pub/ [129.78.8.208] 
  994.                as the files foil4.sh, foil5.sh, and foil6.sh.
  995.                Each shell archive contains source, a brief manual,
  996.                and several sample datasets. FOIL2 should be available
  997.                from sumex-aim.stanford.edu:/pub/FOIL.sh. FOIL 6.0 now uses
  998.            ANSI C.
  999.                Contact: J. Ross Quinlan <quinlan@cs.su.oz.au>
  1000.                         Mike Cameron-Jones <mcj@cs.su.oz.au>
  1001.  
  1002.    RWM      -- Contact: H. Altay Guvenir <guvenir@trbilun.bitnet>
  1003.                RWM is a program for learning problem solving strategies,
  1004.                written in Common Lisp (tested on Suns and NeXT).
  1005.  
  1006.    MOBAL is a system for developing operational models of application
  1007.    domains. It integrates a manual knowledge acquisition and inspection
  1008.    environment, an inference engine, machine learning methods for
  1009.    automated knowledge acquisition, and a knowledge revision tool. By
  1010.    using MOBAL's knowledge acquisition environment, you can incrementally
  1011.    develop a model of your domain in terms of logical facts and rules.
  1012.    You can inspect the knowledge you have entered in text or graphics
  1013.    windows, augment the knowledge, or change it at any time. The built-in
  1014.    inference engine can immediately execute the rules you have entered to
  1015.    show you the consequences of your inputs, or answer queries about the
  1016.    current knowledge. MOBAL also builds a dynamic sort taxonomy from your
  1017.    inputs. If you wish, you can use machine learning methods to
  1018.    automatically discover additional rules based on the facts that you
  1019.    have entered, or to form new concepts. If there are contradictions in
  1020.    the knowledge base due to incorrect rules or facts, there is a
  1021.    knowledge revision tool to help you locate the problem and fix it.
  1022.    MOBAL (release 2.2) is available free for non-commercial academic use
  1023.    by anonymous ftp from ftp.gmd.de:/gmd/mlt/Mobal/. The system requires a
  1024.    Sun SparcStation, SunOS 4.1, OpenWindows 2.0, and HyperNeWS 1.4; the
  1025.    latter can be obtained by sending mail to newsdev@turing.ac.uk. By
  1026.    agreement with Turing Institute, HyperNeWS 1.4 is now also available
  1027.    from our server in the directory gmd/mlt/HyperNeWS/.
  1028.  
  1029.    PEBLS (Parallel Exemplar-Based Learning System) is a nearest-neighbor
  1030.    learning system designed for applications where the instances have
  1031.    symbolic feature values.  PEBLS has been applied to the prediction of
  1032.    protein secondary structure and to the identification of DNA promoter
  1033.    sequences. PEBLS 2.0 is written in ANSI C and is available by
  1034.    anonymous ftp from blaze.cs.jhu.edu:/pub/pebls/pebls.tar.Z
  1035.    [128.220.13.50] for research purposes only. For more information,
  1036.    contact Steven Salzberg <salzberg@cs.jhu.edu>.
  1037.  
  1038.    OC1 (Oblique Classifier 1) is a multivariate decision tree induction
  1039.    system designed for applications where the instances have numeric
  1040.    feature values.  OC1 builds decision trees that contain linear
  1041.    combinations of one or more attributes at each internal node; these
  1042.    trees then partition the space of examples with both oblique and
  1043.    axis-parallel hyperplanes.  OC1 has been used for classification of
  1044.    data from several real world domains, such as astronomy and cancer
  1045.    diagnosis.  A technical decription of the algorithm can be found in
  1046.    the AAAI-93 paper by Sreerama K. Murthy, Simon Kasif, Steven Salzberg
  1047.    and Richard Beigel.  A postscript version of this paper is included in
  1048.    the distribution. OC1 is a written entirely in ANSI C. OC1 is
  1049.    available by anonymous ftp from  
  1050.       blaze.cs.jhu.edu:/pub/oc1/ [128.220.13.50]
  1051.    This distribution is provided for non-commercial purposes only. For
  1052.    more information, contact Sreerama K. Murthy <murthy@cs.jhu.edu>
  1053.    (primary contact), Steven Salzberg <salzberg@cs.jhu.edu>, or Simon
  1054.    Kasif <kasif@cs.jhu.edu>, Department of Computer Science, The Johns
  1055.    Hopkins University, Baltimore, MD 21218.
  1056.                
  1057. Mathematics:
  1058.  
  1059.    SymbMath is a "symbolic calculator that can solve symbolic math
  1060.    problems" written by Weiguang Huang <w.huang@unsw.edu.au>. It runs on
  1061.    IBM PCs (8086) under MS-DOS. Shareware versions are available by
  1062.    anonymous ftp from wsmr-simtel20.army.mil:/calculator/sm22a.zip or
  1063.    rana.cc.deakin.oz.au:/huang/sm22a.zip or by e-mail from
  1064.    listserv@vm1.nodak.edu (listserv@ndsuvm1.bitnet).
  1065.  
  1066. Medical Reasoning:
  1067.  
  1068.    TMYCIN -- sumex-aix.stanford.edu:/tmycin  
  1069.  
  1070. Natural Language Processing:
  1071.  
  1072.    YACC      -- ftp.cs.cmu.edu:/user/ai/lang/lisp/lisp/parse/johnson-yacc.lisp
  1073.                 Contact: Mark Johnson <mj@cs.brown.edu>
  1074.                 Lisp YACC/Parser.
  1075.  
  1076.    BABBLER   -- Contact: rsf1@ra.msstate.edu
  1077.                 Markov chains/NLP
  1078.  
  1079.    PENMAN    -- Contact: hovy@isi.edu
  1080.                 Natural Language Generation.
  1081.  
  1082.    PC-KIMMO  -- msdos.archive.umich.edu:/msdos/linguistics/pckim105.zip
  1083.                 An implementation of KIMMO morphological analyzer
  1084.                 for the IBM PC. 
  1085.  
  1086.    FUF       -- Contact: elhadad@bengus.bgu.ac.il
  1087.                    cs.columbia.edu: or
  1088.               ftp: black.bgu.ac.il:/pub/fuf/fuf5.2.tar.Z
  1089.                    cs.columbia.edu:/pub/fuf/fuf5.2.tar.Z
  1090.               Natural language generation system based on
  1091.               Functional Unification Grammars.
  1092.               Includes unifier, large grammar of English (surge)
  1093.               user manual and many examples.  Written in Common Lisp.
  1094.  
  1095.    InterBASE -- Contact: Sergei Kuchin <kuchin@darmstadt.gmd.de>
  1096.                 ftp: files interbas.exe, interba1.exe, interbas.txt on
  1097.                     sics.se:/pub/packet-incoming
  1098.                     ftp.uu.net:/tmp
  1099.                     clr.nmsu.edu:/incoming
  1100.                     debra.dgbt.doc.ca:/pub/incoming
  1101.                 Natural language database front end
  1102.  
  1103.    RegEx    -- csd4.csd.uwm.edu:/pub/compilers/regex/
  1104.                Translates regular expressions to DFAs. Written in C.
  1105.                Mark Hopkins <markh@csd4.csd.uwm.edu>
  1106.  
  1107.    Tom      -- csd4.csd.uwm.edu:/pub/compilers/tomita/
  1108.                C implementation of the Tomita parsing algorithm
  1109.                Mark Hopkins <markh@csd4.csd.uwm.edu>
  1110.  
  1111.    Common Lisp versions of the miniature natural language understanding
  1112.    programs from "Inside Computer Understanding" by Schank and Riesbeck,
  1113.    1981, are available by anonymous ftp from 
  1114.      cs.umd.edu:/pub/schank/icu/
  1115.    This includes the SAM and ELI miniatures. It will
  1116.    eventually include copies of the miniature versions of PAM, POLITICS,
  1117.    and Tale-Spin. The FOR macro is also available in this directory, as
  1118.    are a set of functions for manipulating and matching lisp
  1119.    representations of Conceptual Dependency formulas.  Contact Bill
  1120.    Andersen <waander@cs.umd.edu> for more information.
  1121.  
  1122.    The Link Parser is a highly efficient English parser written by Danny
  1123.    Sleator and Davy Temperley. It uses a novel grammatical formalism known
  1124.    as Link Grammar to represent a robust and diverse collection of
  1125.    English-language phenomena. The system is available by anonymous ftp from
  1126.       spade.pc.cs.cmu.edu:/usr/sleator/public/
  1127.    Read the README file for more information. To see an online demo of
  1128.    the parser, do telnet spade.pc.cs.cmu.edu 4000
  1129.  
  1130.    The Xerox part-of-speech tagger is available by anonymous ftp from
  1131.    parcftp.xerox.com:/pub/tagger/tagger-1-0.tar.Z. It is implemented in
  1132.    Common Lisp and has been tested in Allegro CL 4.1, CMU CL 16e, and
  1133.    Macintosh CL 2.0p2. For more information, contact the authors, Doug
  1134.    Cutting <cutting@parc.xerox.com>, and Jan Pedersen
  1135.    <pedersen@parc.xerox.com>.
  1136.  
  1137.    Eric Brill's trainable rule-based part of speech tagger (version 1.0.2)
  1138.    is available by anonymous ftp from 
  1139.       lightning.lcs.mit.edu:/pub/BRILL/Programs/
  1140.    This tagger is based on transformation-based error-driven learning, a
  1141.    technique that has been effective in a number of natural language
  1142.    applications, including part of speech and word sense tagging,
  1143.    prepositional phrase attachment, and syntactic parsing.  For more
  1144.    information, you can obtain relevant papers in 
  1145.       lightning.lcs.mit.edu:/pub/BRILL/Papers/
  1146.    If you do download the tagger and wish to be on the mailing list for
  1147.    future releases, bug reports, etc, please send mail to Eric Brill
  1148.    <brill@goldilocks.lcs.mit.edu>.
  1149.  
  1150.    The Prolog and DCG programs from Pereira and Shieber's book, "Prolog
  1151.    and Natural Language Analysis", are available by anonymous ftp from
  1152.    das.harvard.edu:/pub/shieber/pnla/. See the file README for the
  1153.    conditions under which the material is distributed. If you retrieve
  1154.    the files, please send an email message to the authors letting them
  1155.    know how you plan to use them. For further information, write to
  1156.    Fernando Pereira <pereira@research.att.com> or Stuart Shieber
  1157.    <shieber@das.harvard.edu>.
  1158.  
  1159.    LHIP is a left-head-corner island parser compiler. The system compiles
  1160.    grammar rules to Prolog code in much the same way as the Prolog DCG
  1161.    system does. The rules themselves are an extended version of the DCG
  1162.    rules, allowing optional constituents, negation, disjunction, the
  1163.    specification of adjacency, and the ability to mark multiple heads in
  1164.    a rule body.  It requires an Edinburgh style Prolog and is known to
  1165.    work in Sicstus 0.6. LHIP may be retrieved by anonymous ftp from
  1166.       issun14.unige.ch:/pub/lhip_v1.1.tar.Z [129.194.177.14]
  1167.    A more efficient version withou negation is also available:    
  1168.       issun14.unigh.ch:/pub/plhip_v1.0.tar.Z [129.194.177.14]
  1169.    Both are also available from:
  1170.       ftp.cs.cmu.edu:/user/ai/areas/nlp/parsing/lhip/lhip_v10.tar.gz
  1171.    Please send a message to the author, Afzal Ballim <afzal@divsun.unige.ch>,
  1172.    to let him know that you're using the package.
  1173.  
  1174. Neural Networks:
  1175.  
  1176.    A draft review of roughly 40 neurosimulators is available by anonymous
  1177.    ftp from
  1178.       ftp.mrc-apu.cam.ac.uk:/pub/nn/
  1179.    as the file neurosim1.ps.Z (text version in neurosim1.txt and
  1180.    WordPerfect 5.1 version in neurosim1.w51.Z). The review will appear in
  1181.    the "Handbook of Brain Research and Neural Networks" (MIT Press, 1995).
  1182.    Please send comments to Dr. Jacob M.J. Murre <jaap.murre@mrc-apu.cam.ac.uk>.
  1183.  
  1184.    Aspirin/MIGRAINES is a neural network simulator available free from the
  1185.    MITRE Corporation. It contains a neural network simulation code generator
  1186.    which generates high performance C code implementations for
  1187.    backpropagation networks. It runs on the following platforms: Apollo,
  1188.    Convex, Cray, DecStation, HP, IBM RS/6000, Intel 486/386 (Unix System V),
  1189.    NeXT, News, Silicon Graphics Iris, Sun3, Sun4, Mercury i860 (40MHz)
  1190.    Coprocessors, Meiko Computing Surface w/i860 (40MHz) Nodes, Skystation
  1191.    i860 (40MHz) Coprocessors, and iWarp Cells. The software is available by
  1192.    anonymous ftp from the CMU simulator collection on pt.cs.cmu.edu
  1193.    (128.2.254.155) in the directory /afs/cs/project/connect/code (you must
  1194.    cd to this directory in one atomic operation) and UCLA's cognitive
  1195.    science collection on ftp.cognet.ucla.edu [128.97.8.19] in the
  1196.    directory alexis as the file am6.tar.Z, am6.readme, am6.notes. They
  1197.    include many examples in the release, include an implementation of NETtalk.
  1198.    For more information, contact Russell Leighton <taylor@world.std.com> 
  1199.    or <leighton@mitre.org>. [As of 7/7/93, the mitre email address bounced.]
  1200.  
  1201.    MUME (Multi-Module Neural Computing Environment) is a simulation
  1202.    environment for multi-modules neural computing. It provides an object
  1203.    oriented facility for the simulation and training of multiple nets
  1204.    with various architectures and learning algorithms.  The object
  1205.    oriented structure makes simple the addition of new network classes
  1206.    and new learning algorithms. MUME includes a library of network
  1207.    architectures including feedforward, simple recurrent, and
  1208.    continuously running recurrent neural networks.  Each architecture is
  1209.    supported by a variety of learning algorithms, including backprop,
  1210.    weight perturbation, node perturbation, and simulated annealing.  MUME
  1211.    can be used for large scale neural network simulations as it provides
  1212.    support for learning in multi-net environments. It also provide pre-
  1213.    and post-processing facilities.  MUME can be used to include
  1214.    non-neural computing modules (decision trees, etc.) in applications. _
  1215.    MUME is being developed at the Machine Intelligence Group at Sydney
  1216.    University Electrical Engineering. The software is written in 'C' and
  1217.    is being used on Sun and DEC workstations. Efforts are underway to
  1218.    port it to the Fujitsu VP2200 vector processor using the VCC
  1219.    vectorising C compiler, HP 9000/700, SGI workstations, DEC
  1220.    Alphas, and PC DOS (with DJGCC). MUME is available to research
  1221.    institutions on a media/doc/postage cost arrangement after
  1222.    signing a license agreement. The license agreement is available by
  1223.    anonymous ftp from mickey.sedal.su.oz.au:/pub/license.ps [129.78.24.170].
  1224.    An overview of mume is available from the same machine as
  1225.    /pub/mume-overview.ps.Z. It is also available free for MSDOS by
  1226.    anonymous ftp from 
  1227.       brutus.ee.su.oz.au:/pub/MUME-0.5-DOS.zip 
  1228.    For further information, write to Marwan Jabri, SEDAL, Sydney
  1229.    University Electrical Engineering, NSW 2006 Australia, 
  1230.    call +61-2-692-2240, fax +61-2-660-1228, or send email to
  1231.    Marwan Jabri <marwan@sedal.su.oz.au>. To be added to the mailing
  1232.    list, send email to mume-request@sedal.su.oz.au.
  1233.  
  1234.    Adaptive Logic Network (ALN) 
  1235.    The atree adapative logic network simulation package is available by
  1236.    anonymous ftp from 
  1237.       ftp.cs.ualberta.ca:pub/atree/ [129.128.4.241] 
  1238.  
  1239.    as the file atree2.tar.Z (Unix). The MS-Windows 3.x version for the
  1240.    IBM PC is available as either atre27.exe (includes C/C++ sources) or
  1241.    a27exe.exe (just the executables).  The PC version has a lot more
  1242.    documentation than the Unix version. The Unix version has been ported
  1243.    to the Macintosh, Amiga, and other machines.  Documentation is in
  1244.    atree2.ps.Z. Also in this directory is a rather impressive OCR demo
  1245.    using atree. To be added to the mailing list, send email to
  1246.    alnl-request@cs.ualberta.ca. For more information, contact William W.
  1247.    Armstrong, <arms@cs.ualberta.ca>.
  1248.  
  1249.    BPS
  1250.    Neural network simulator. Other files of interest. Executables are
  1251.    free; source code for a small fee.
  1252.    gmuvax2.gmu.edu:nn [no longer there?]
  1253.  
  1254.    NeuralShell
  1255.    Availible by anonymous ftp from 
  1256.       quanta.eng.ohio-state.edu:/pub/NeuralShell/ [128.146.35.1]
  1257.    as the file NeuralShell.tar.
  1258.  
  1259.    CONDELA
  1260.    A neural network definition language.
  1261.    tut.cis.ohio-state.edu:/pub/condela
  1262.  
  1263.    ROCHESTER CONNECTIONIST SIMULATOR
  1264.    Available from cs.rochester.edu:/pub/simulator [192.5.53.209].
  1265.    Includes a backprop package and an X11/SunView interface.
  1266.  
  1267.    UCLA-SFINX
  1268.    retina.cs.ucla.edu:/pub/sfinx_v2.0.tar.Z [131.179.16.6]
  1269.    Use username sfinxftp, password joshua. Contact sfinx@retina.cs.ucla.edu
  1270.    for more information.
  1271.  
  1272.    XERION
  1273.    A neural network simulator from Drew van Camp at the University
  1274.    of Toronto. It provides a library of routines for building networks
  1275.    and graphically displaying them. Written in C and uses the X window
  1276.    system for graphics. Example simulators include Back Propagation,
  1277.    Recurrent Back Propagation, Boltzmann Machine, Mean Field Theory, Free
  1278.    Energy Manipulation, Kohonnen Net, and Hard and Soft Competitive
  1279.    Learning. Xerion runs on SGI Personal Iris, SGI 4d, Sun3 (SunOS), Sun4
  1280.    (SunOS). Available by anonymous ftp from ai.toronto.edu:/pub/xerion.
  1281.    See the file /pub/xerion.README for more information. Also included
  1282.    is a little program called sciam that contains the basic kernel that
  1283.    was published in the September 1992 issue of Scientific American.
  1284.    To be added to the mailing list, send mail to xerion-request@ai.toronto.edu.
  1285.    Bugs should be reported to xerion-bugs@ai.toronto.edu. Complaints, 
  1286.    suggestions or comments may be sent to xerion@ai.toronto.edu.
  1287.  
  1288.    SNNS (Stuttgart Neural Network Simulator) is a software simulator for
  1289.    neural networks on Unix workstations developed at the Institute for
  1290.    Parallel and Distributed High Performance Systems (IPVR) at the
  1291.    University of Stuttgart. The SNNS simulator contains a simultor kernel
  1292.    written in ANSI C and a 2D/3D graphical user interface running under
  1293.    X11R4/X11R5. It runs under Sun Sparc (SLC, ELC, SS2, GX, GS), DECstation
  1294.    (2100, 3100, 5000/200), IBM RS 6000, HP 9000, and IBM-PC (386/486). SNNS
  1295.    includes the following learning procedures: backpropagation (online,
  1296.    batch, with momentum and flat spot elimin., time delay),
  1297.    counterpropagation, quickprop, backpercolation 1, and generalized radial
  1298.    basis functions (RBF), RProp, recurrent ART1, ART2 and ARTMAP, Cascade
  1299.    Correlation and Recurrent Cascade Correlation, Dynamic LVQ, and Time
  1300.    delay networks (TDNN). (Elman networks and some other network paradigms
  1301.    have already been implemented but are scheduled for a later release.)
  1302.    The SNNS simulator can be obtained via anonymous ftp from
  1303.    ftp.informatik.uni-stuttgart.de:/pub/SNNS/SNNSv2.1.tar.Z [129.69.211.2].
  1304.    The PostScript version of the user manual can be obtained as file
  1305.    SNNSv2.1.Manual.ps.Z.  To be added to the mailing list, send a message
  1306.    to listserv@informatik.uni-stuttgart.de with "subscribe snns <Your Full
  1307.    Name>" in the message body. Submissions may be sent to
  1308.    snns@informatik.uni-stuttgart.de. For further information, contact
  1309.    Andreas Zell, <zell@informatik.uni-stuttgart.de>.
  1310.  
  1311.    NEOCOGNITRON SIMULATOR
  1312.    The Neocognitron Simulator is written in C and is available by
  1313.    anonymous ftp from 
  1314.       tamsun.tamu.edu:/pub/neocognitron.Z.tar [128.194.15.32] 
  1315.       unix.hensa.ac.uk:/pub/uunet/pub/ai/neural/neocognitron.tar.Z
  1316.          [129.12.21.7]   
  1317.  
  1318.    PLANET (aka SunNet)
  1319.    Simulator that runs under X Windows. Written by Yoshiro Miyata
  1320.    <miyata@sccs.chukyo-u.ac.jp> of Chukyo University, Japan.
  1321.    Available by anonymous ftp from 
  1322.     tutserver.tut.ac.jp:/pub/misc/PlaNet5.7.tar.Z  [133.15.64.6]
  1323.     boulder.colorado.edu:/pub/generic-sources/PlaNet5.7.tar.Z [128.138.240.1]
  1324.    Includes documentation. 
  1325.  
  1326.    LVQ_PAK and SOM_PAK
  1327.    LVQ_PAK (Learning Vector Quantization) and SOM_PAK (Self-Organizing Maps)
  1328.    were written by the LVQ/SOM Programming Team of the Helsinki
  1329.    University of Technology, Laboratory of Computer and Information
  1330.    Science, Rakentajanaukio 2 C, SF-02150 Espoo, FINLAND. The PAKs
  1331.    run in Unix and MS-DOS systems. Available by anonymous ftp from
  1332.       cochlea.hut.fi:/pub/lvq_pak/ [130.233.168.48] 
  1333.       cochlea.hut.fi:/pub/som_pak/ 
  1334.  
  1335.    ToolDiag
  1336.    ToolDiag is a feature selection program that increases the accuracy of
  1337.    classifiers and reduces their complexity by providing them with a
  1338.    subset containing only the most relevant features. It has interfaces
  1339.    to LVQ_PAK and SNNS, and uses a data file format that is compatible
  1340.    with that of LVQ_PAK. The 2-d graphics can be displayed using the
  1341.    GNUPLOT plotting package. ToolDiag implements many concepts from
  1342.    Devijver and Kittler's book "Pattern Recognition -- A Statistical
  1343.    Approach" (Prentice Hall, 1982), including the optimal branch and
  1344.    bound search strategy, together with several different selection
  1345.    criteria. ToolDiag can also perform an error estimation using the
  1346.    leave-one-out method and a K-nearest-neighbor classifier. It also
  1347.    includes a learning module (Q*) that has the same functionality as
  1348.    LVQ. ToolDiag cannot handle missing values and requires continuous or
  1349.    ordered discrete numerical features. ToolDiag is implemented in C and
  1350.    documentation and source code are available by anonymous ftp from 
  1351.       ftp.fct.unl.pt:/pub/di/packages
  1352.    For more information, contact Thomas Rauber <tr@fct.unl.pt>.
  1353.  
  1354.    MACTIVATION
  1355.    bruno.cs.colorado.edu:/pub/cs/misc/   [128.138.243.151]
  1356.    as the file Mactivation-3.3.sea.hqx.          
  1357.  
  1358.    DartNet
  1359.    A Macintosh-based Neural Network Simulator with a nice graphical
  1360.    interface. Available by anonymous ftp from
  1361.       dartvax.dartmouth.edu:/pub/mac/dartnet.sit.hqx [129.170.16.4] 
  1362.    or by email from bharucha@dartmouth.edu.  New network architectures
  1363.    and learning algorithms can be added to the system by writing small
  1364.    XCMD-like CODE resources called nDEF's ("Network Definitions").  For
  1365.    more information, send email to Sean P. Nolan,
  1366.    <sean@coos.dartmouth.edu>. [As of 7/7/93, email bounced.]
  1367.  
  1368.    NevProp is a C implementation of general purpose backpropagation
  1369.    software, based on Quickprop 1.0 by Scott Fahlman, as translated from
  1370.    Common Lisp into C by Terry Regier. It runs on Unix, Macintosh, and
  1371.    DOS. The quickprop algorithm itself has not changed substantially, but
  1372.    it now includes options to force gradient descent (per-epoch or
  1373.    per-pattern), generalization & stopped training, c index, and interface 
  1374.    enhancements. It is available by anonymous ftp from 
  1375.       unssun.scs.unr.edu:/pub/goodman/nevpropdir/ [134.197.10.128]
  1376.    as the file npxxx.shar (replace xxx with the version number) or
  1377.    from the CMU Simulator Collection. For further information, contact
  1378.    Phil Goodman <goodman@unr.edu>. 
  1379.  
  1380.    TCS (Tasmanian Connectionist Simulator) is a neural network
  1381.    simulation package written in Borland C++ for Windows available by
  1382.    anonymous ftp from 
  1383.      ftp.psychol.utas.edu.au:/pub/tcs [131.217.35.98]
  1384.    For further information, write to Zoltan Schreter Dept. Psychology
  1385.    University of Tasmania Hobart, Tasmania AUSTRALIA,
  1386.    <zoltan@psychnet.psychol.utas.edu.au>.
  1387.  
  1388.    GENESIS (GEneral NEural SImulation System) is a general purpose
  1389.    simulation platform which supports the simulation of neural systems
  1390.    ranging from complex models of single neurons to simulations of large
  1391.    networks made up of more abstract neuronal components.  Most current
  1392.    GENESIS applications involve realistic simulations of biological
  1393.    neural systems.  Although the software can also model more abstract
  1394.    networks, other simulators are more suitable for backpropagation and
  1395.    similar connectionist modeling.  GENESIS and its graphical front-end
  1396.    XODUS are written in C and run on SUN and DEC graphics work stations
  1397.    under UNIX (Sun version 4.0 and up, Ultrix 3.1, 4.0 and up), and
  1398.    X-windows (versions X11R3, X11R4, and X11R5).  The current version of
  1399.    GENESIS has also been used with Silicon Graphics (Irix 4.0.1 and up)
  1400.    and the HP 700 series (HPUX).  The distribution includes full source
  1401.    code and documentation for both GENESIS and XODUS as well as fourteen
  1402.    demonstration and tutorial simulations.  Documentation for these
  1403.    simulations is included, along with three papers that describe the
  1404.    general organization of the simulator.  GENESIS is available by
  1405.    anonymous ftp from genesis.cns.caltech.edu (131.215.137.64). Before
  1406.    using ftp, you must telnet to genesis.cns.caltech.edu and login as the
  1407.    user "genesis" (no password required) to register.  If you answer all
  1408.    the questions asked of you an 'ftp' account will automatically be
  1409.    created for you.  You can then 'ftp' back to the machine and download
  1410.    the software.  Further inquiries concerning GENESIS may be addressed
  1411.    to genesis@cns.caltech.edu.
  1412.  
  1413.    The HYPERPLANE ANIMATOR is a program that allows convenient graphical
  1414.    display of the training data and weights in a back-propagation neural
  1415.    network.  As learning progresses and the weights in a neural net
  1416.    alter, the hyperplane positions move.  At the end of the training they
  1417.    are in positions that roughly divide training data into partitions,
  1418.    each of which contains only one class of data.  Observations of
  1419.    hyperplane movement can yield valuable insights into neural network
  1420.    learning.  The Animator, developed by Lori Pratt and Steve Nicodemus
  1421.    of the Colorado School of Mines, uses the Motif toolkit on an IBM
  1422.    RS6000 with X-Windows.  The system currently animates only hyperplanes
  1423.    representing input-to-hidden weights.  The animator is available by
  1424.    anonymous ftp from
  1425.       mines.colorado.edu:/pub/software/hyperplane-animator/ [138.67.1.3]
  1426.    as the file hyperplane-animator.tar. An openwindows version of the
  1427.    animator is available by anonymous ftp from
  1428.        cs.rutgers.edu:/pub/hyperplane.animator
  1429.    For more information, write to lpratt@mines.colorado.edu.
  1430.  
  1431.    SUZY is a simple neural net classifier system for PCs written in C++
  1432.    and Turbo Vision. RBFs are used to implement the classifier system
  1433.    with a class-based algorithm being applied to find the centres and
  1434.    radii of the RBS units. The program is not intended for any serious
  1435.    applications and is quite slow, but may be of interest to some people.
  1436.    It is available by anonymous ftp from
  1437.       rhino.cis.vutbr.cz:/pub/software/ai/suzy.tar.Z [147.229.3.10]
  1438.    For further information, contact tgrove@psycho.fme.vutbr.cz.
  1439.  
  1440.    BIOSIM is a biologically-oriented neural network simulator.  It
  1441.    implements four neuron models: a simple model only switching ion
  1442.    channels on and off, the original Hodgkin-Huxley model, the SWIM model
  1443.    (a modified HH model) and the Golowasch-Buchholz model (the most
  1444.    enhanced model). Dendrites consist of a chain of segments without
  1445.    bifurcation.  It is in the public domain and runs on Unix workstations
  1446.    (a less-powerful PC version is also available). BIOSIM includes a
  1447.    graphical user interface and was designed for research and teaching.
  1448.    It is available by anonymous ftp from
  1449.       ftp.uni-kl.de:/pub/bio/neurobio [131.246.9.95]
  1450.    For more information, write to Stefan Bergdoll <bergdoll@zxa.basf-ag.de>.
  1451.  
  1452.    MBP (Matrix Back Propagation) is an efficient implementation of the
  1453.    back-propagation algorithm for current-generation workstations.  The
  1454.    algorithm includes a per-epoch adaptive technique for gradient
  1455.    descent.  All the computations are done through matrix multiplications
  1456.    and make use of highly optimized C code. The goal is to reach almost
  1457.    peak-performances on RISCs with superscalar capabilities and fast
  1458.    caches.  On some machines (and with large networks) a 30-40x speed-up
  1459.    can be measured respect to conventional implementations.  
  1460.    The software is available by anonymous ftp from
  1461.       risc6000.dibe.unige.it:/pub/ [130.251.89.154]
  1462.    as MBPv1.1.tar.Z (unix version) and MBPv11.zip (DOS version).  The
  1463.    documentation is included in the distribution as the postscript file
  1464.    mbpv11.ps. For more information, contact Davide Anguita
  1465.    <anguita@dibe.unige.it> or <anguita@icsi.berkeley.edu>.
  1466.  
  1467.    THE BRAIN is a neural network (backpropagation) simulator for MSDOS
  1468.    systems. It is simple enough to be used by non-technical people,
  1469.    yet sophisticated enough for serious research work. It is available
  1470.    by anonymous ftp from 
  1471.      ftp.technion.ac.il:/pub/unsupported/dos/local/     [132.68.1.10]
  1472.      ftp.tu.clausthal.de:/pub/msdos/misc/               [139.174.2.10]
  1473.    as the file brain12.zip. For more information, write to
  1474.    David Perkovic <dpc@mep.com> or <perkovic@cleese.apana.org.au>.
  1475.    PO Box 712, Noarlunga Center SA 5168, Australia.
  1476.  
  1477. Probabilistic Reasoning:
  1478.  
  1479.    BELIEF   -- ftp.stat.washington.edu (128.95.17.34)
  1480.                Contact: Russell Almond <almond@stat.washington.edu>
  1481.                                        <almond@statsci.com>
  1482.  
  1483.    IDEAL    -- Contact: srinivas@rpal.rockwell.com
  1484.                Bayesian networks
  1485.  
  1486. Planning:
  1487.  
  1488.    NONLIN   -- cs.umd.edu:/pub/nonlin (128.8.128.8)
  1489.                Contact: nonlin-users-request@cs.umd.edu
  1490.                         nonlin-bugs@cs.umd.edu
  1491.  
  1492.    ABTWEAK  -- jupiter.drev.dnd.ca:/pub/steve/Abtweak   
  1493.                Contact: Steven Woods <woods@jupiter.drev.dnd.ca> or
  1494.                                      <sgwoods@logos.uwaterloo.ca>
  1495.                Nonlinear planning with abstraction
  1496.  
  1497.    RHETORICAL -- cs.rochester.edu:/pub/knowledge-tools
  1498.                Contact: Brad Miller <miller@cs.rochester.edu>
  1499.  
  1500.    SNLP     -- cs.washington.edu:/pub/snlp.tar.Z
  1501.                Contact: weld@cs.washington.edu
  1502.                Nonlinear planner.
  1503.  
  1504.    IDM      -- sauquoit.gsfc.nasa.gov (128.183.101.29)
  1505.                Contact: idm-users@chelmsford.gsfc.nasa.gov
  1506.                STRIPS-like planning.
  1507.  
  1508.    PRODIGY  -- Contact: prodigy@cs.cmu.edu
  1509.                Integrated Planning and Learning System
  1510.  
  1511.    SOAR     -- ftp.cs.cmu.edu:
  1512.                  /afs/cs.cmu.edu/project/soar/public/Soar5/ -- Lisp Version
  1513.                  /afs/cs.cmu.edu/project/soar/public/Soar6/ -- C Version
  1514.                Contact: soar-request@cs.cmu.edu
  1515.                Integrated Agent Architecture. 
  1516.                Supports learning through chunking.
  1517.  
  1518. ----------------------------------------------------------------
  1519. ;;; *EOF*
  1520.  
  1521.